منابع مشابه
Extensions of ordered theories by generic predicates
Given a theory T extending that of dense linear orders without endpoints (DLO), in a language L ⊇ {<}, we are interested in extensions T ′ of T in languages extending L by unary relation symbols that are each interpreted in models of T ′ as sets that are both dense and codense in the underlying sets of the models. There is a canonically “wild” example, namely, T = Th(〈R, <,+, ·〉) and T ′ = Th(〈...
متن کاملLewis on Meinongian Logic
In “Truth in Fiction,” David Lewis raises four objections to a Meinongian semantics of fiction. Lewis does not deny that a Meinongian logic of fiction could be made to work, but identifies disadvantages in Meinongian semantics as a reason for recommending his own possible worlds alternative. A Meinongian semantics proposes to explain meaning without ontological prejudice. It analyzes the meanin...
متن کاملTwo Extensions of FOL Horn Clauses Comparison to Interpreted Predicates
First-Order Logic Horn clauses are a powerful representation formalism for domains where relations among objects must be expressed to fully capture the relevant information. While the predicates that make up the description language are handled only syntactically by the interpreters, they sometimes express information that can be properly exploited only with reference to a specific background k...
متن کاملIs Lewis a Meinongian?∗
The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. ‘Meinongianism’ is a complex set...
متن کاملAn Abstract Mereology for Meinongian Objects
The purpose of this paper is to examine how any domain of Meinongian objects can be structured by a special kind of mereology. The basic definition of this mereology is the following: an object is part of another iff every characteristic property of the former is also a characteristic property of the latter. (The notions of domain of Meinongian objects and characteristic property will be carefu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2005
ISSN: 1425-3305
DOI: 10.12775/llp.2005.011